#5.    Expand: 

> ln(`+`(`/`(`*`(2, `*`(exp(`+`(`*`(`^`(x, 2)), 1)), `*`(x))), `*`(`^`(`+`(`*`(`^`(x, 2)), 1), 4)))));
 

ln(`+`(`/`(`*`(2, `*`(exp(`+`(`*`(`^`(x, 2)), 1)), `*`(x))), `*`(`^`(`+`(`*`(`^`(x, 2)), 1), 4))))) (2.5.1)
 

> expand(ln(`+`(`/`(`*`(2, `*`(exp(`+`(`*`(`^`(x, 2)), 1)), `*`(x))), `*`(`^`(`+`(`*`(`^`(x, 2)), 1), 4))))));
 

`+`(ln(2), ln(`/`(`*`(exp(`+`(`*`(`^`(x, 2)), 1)), `*`(x)), `*`(`^`(`+`(`*`(`^`(x, 2)), 1), 4))))) (2.5.2)
 

> simplify(`+`(ln(2), ln(`/`(`*`(exp(`+`(`*`(`^`(x, 2)), 1)), `*`(x)), `*`(`^`(`+`(`*`(`^`(x, 2)), 1), 4))))), 'assume = positive');
 

`+`(ln(2), `*`(`^`(x, 2)), 1, ln(x), `-`(`*`(4, `*`(ln(`+`(`*`(`^`(x, 2)), 1)))))) (2.5.3)
 

> ln(`^`(`*`(x, `*`(y, `*`(z))), `+`(x, y, z)));
 

ln(`^`(`*`(x, `*`(y, `*`(z))), `+`(x, y, z))) (2.5.4)
 

> simplify(ln(`^`(`*`(x, `*`(y, `*`(z))), `+`(x, y, z))), 'assume = positive');
 

`*`(`+`(x, y, z), `*`(`+`(ln(x), ln(y), ln(z)))) (2.5.5)
 

> expand(`*`(`+`(x, y, z), `*`(`+`(ln(x), ln(y), ln(z)))));
 

`+`(`*`(x, `*`(ln(x))), `*`(x, `*`(ln(y))), `*`(x, `*`(ln(z))), `*`(y, `*`(ln(x))), `*`(y, `*`(ln(y))), `*`(y, `*`(ln(z))), `*`(z, `*`(ln(x))), `*`(z, `*`(ln(y))), `*`(z, `*`(ln(z)))) (2.5.6)